package plp.prolog.declaration;

import plp.prolog.memory.AmbienteExecucaoProlog;

public interface Expressao{

	public boolean avaliar(AmbienteExecucaoProlog ambienteExecucao, Relacao relacao);
	
	public boolean unificar(AmbienteExecucaoProlog ambienteExecucao, Relacao relacao);
	
}
